(realize_basic_faces): Decrement menu_face_change_count
authorGerd Moellmann <gerd@gnu.org>
Wed, 28 Mar 2001 12:45:54 +0000 (12:45 +0000)
committerGerd Moellmann <gerd@gnu.org>
Wed, 28 Mar 2001 12:45:54 +0000 (12:45 +0000)
commitfb4eb5bdee425fd452c7c6810e69ee2faf661b71
tree5bd1a2722b108d4981ab5922318e04965bc7e964
parent9a81607f6d88515390434e620ae05c81f26dbb67
(realize_basic_faces): Decrement menu_face_change_count
instead of setting it to zero; it's incremented for each frame
where the menu face is changed.
src/xfaces.c